From b6fc50c855077067ac3ba26b6654645eca2d7320 Mon Sep 17 00:00:00 2001
From: Matthias Clasen <mclasen@redhat.com>
Date: Mon, 15 Jun 2009 17:19:43 -0400
Subject: [PATCH] Add some more font sizes

Make 15 and 17 available in the list. See bug 585371
---
 gtk/gtkfontsel.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gtk/gtkfontsel.c b/gtk/gtkfontsel.c
index 84ee9dc85a..c3593c88b8 100644
--- a/gtk/gtkfontsel.c
+++ b/gtk/gtkfontsel.c
@@ -90,7 +90,7 @@
 /* These are what we use as the standard font sizes, for the size list.
  */
 static const guint16 font_sizes[] = {
-  6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 18, 20, 22, 24, 26, 28,
+  6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 22, 24, 26, 28,
   32, 36, 40, 48, 56, 64, 72
 };
 
-- 
2.30.2